step(al,is,tm(s,[ctxm(eta_,u,ip,ip_al_2,ip_al_2),ctxm(eta_,idp2,ip,ip_is,ip_is)],pri(enc,[pri(h,[pri(lst,[ctxm(eta_,u,i,i_al,i_al),ctxm(eta_,idp2,id,id_is,id_is)])]),pri(aka,[ctxm(eta_,dot,kM_c,kM_c,kM_c),ctxm(eta_,dot,n_a,ss(eta_,i_n_a),ss(eta_,c_n_a)),ctxm(eta_,idp2,kM,kM_is,kM_is),ctxm(eta_,dot,n_b,ss(eta_,i_n_b),ss(eta_,c_n_b))])]))).
